_require "./013_require3.smi"
val y : int
